Learning Regular Languages with RPNI Algorithm
rahul.gopinath.org·5d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Building an Intelligent RAG System with Query Routing, Validation and Self-Correction
dev.to·14h·
Discuss: DEV
🧮SMT Solvers
Flag this post
Oops, My UUIDs Collided
alexsci.com·8h·
Discuss: Hacker News
🎯GADT
Flag this post
Python Interview Master Guide – 100+ Questions + Cheat Sheet
mallisree.gumroad.com·1d·
Discuss: r/programming
🔀Brzozowski Derivatives
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·9h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Rdza – Rust Programming, in Polish
github.com·17h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·7h
🛡️macOS Security
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·5h
🧠Automated Reasoning
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·7h·
Discuss: Hacker News
🔤Language Design
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·4h·
Discuss: r/golang
🎯GADT
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Show HN: Front End Fuzzy and Substring and Prefix Search
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Show HN: Add to Sheets Chrome Extension for Google Sheets – No Code Automations
addtosheets.com·13h·
Discuss: Hacker News
🔤Language Design
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·10h
🧪Property-Based Testing
Flag this post
What's the point of HTTP Signatures? (All open source)
orangestack.substack.com·1d·
Discuss: Substack
🌐NetworkProtocols
Flag this post
Show HN: I'm building an open source platform for studying Arabic
parallel-arabic.com·11h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λFunctional Programming
Flag this post
RegEx Crossword
jimbly.github.io·3d·
Discuss: Hacker News
🔤Kleene Algebra
Flag this post